Optimal. Leaf size=179 \[ \frac {x^3 \left (A b^3-10 a^3 D\right )}{3 a b^3 \left (a+b x^2\right )^{7/2}}-\frac {a^3 D x}{b^4 \left (a+b x^2\right )^{7/2}}+\frac {x^7 \left (-176 a^3 D+15 a^2 b C+6 a b^2 B+8 A b^3\right )}{105 a^3 b \left (a+b x^2\right )^{7/2}}+\frac {x^5 \left (-58 a^3 D+3 a b^2 B+4 A b^3\right )}{15 a^2 b^2 \left (a+b x^2\right )^{7/2}}+\frac {D \tanh ^{-1}\left (\frac {\sqrt {b} x}{\sqrt {a+b x^2}}\right )}{b^{9/2}} \]
________________________________________________________________________________________
Rubi [A] time = 0.31, antiderivative size = 192, normalized size of antiderivative = 1.07, number of steps used = 8, number of rules used = 8, integrand size = 32, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.250, Rules used = {1804, 1585, 1263, 1584, 452, 288, 217, 206} \begin {gather*} \frac {x^3 \left (a \left (-71 a^2 D+15 a b C+6 b^2 B\right )+8 A b^3\right )}{105 a^3 b^3 \left (a+b x^2\right )^{3/2}}+\frac {x^3 \left (a \left (17 a^2 D-10 a b C+3 b^2 B\right )+4 A b^3\right )}{35 a^2 b^3 \left (a+b x^2\right )^{5/2}}+\frac {x^3 \left (A-\frac {a \left (a^2 D-a b C+b^2 B\right )}{b^3}\right )}{7 a \left (a+b x^2\right )^{7/2}}-\frac {D x}{b^4 \sqrt {a+b x^2}}+\frac {D \tanh ^{-1}\left (\frac {\sqrt {b} x}{\sqrt {a+b x^2}}\right )}{b^{9/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 206
Rule 217
Rule 288
Rule 452
Rule 1263
Rule 1584
Rule 1585
Rule 1804
Rubi steps
\begin {align*} \int \frac {x^2 \left (A+B x^2+C x^4+D x^6\right )}{\left (a+b x^2\right )^{9/2}} \, dx &=\frac {\left (A-\frac {a \left (b^2 B-a b C+a^2 D\right )}{b^3}\right ) x^3}{7 a \left (a+b x^2\right )^{7/2}}-\frac {\int \frac {x \left (-\left (\left (4 A b+\frac {3 a \left (b^2 B-a b C+a^2 D\right )}{b^2}\right ) x\right )-7 a \left (C-\frac {a D}{b}\right ) x^3-7 a D x^5\right )}{\left (a+b x^2\right )^{7/2}} \, dx}{7 a b}\\ &=\frac {\left (A-\frac {a \left (b^2 B-a b C+a^2 D\right )}{b^3}\right ) x^3}{7 a \left (a+b x^2\right )^{7/2}}-\frac {\int \frac {x^2 \left (-4 A b-\frac {3 a \left (b^2 B-a b C+a^2 D\right )}{b^2}-7 a \left (C-\frac {a D}{b}\right ) x^2-7 a D x^4\right )}{\left (a+b x^2\right )^{7/2}} \, dx}{7 a b}\\ &=\frac {\left (A-\frac {a \left (b^2 B-a b C+a^2 D\right )}{b^3}\right ) x^3}{7 a \left (a+b x^2\right )^{7/2}}+\frac {\left (4 A b^3+a \left (3 b^2 B-10 a b C+17 a^2 D\right )\right ) x^3}{35 a^2 b^3 \left (a+b x^2\right )^{5/2}}+\frac {\int \frac {x \left (\left (8 A b+\frac {3 a \left (2 b^2 B+5 a b C-12 a^2 D\right )}{b^2}\right ) x+\frac {35 a^2 D x^3}{b}\right )}{\left (a+b x^2\right )^{5/2}} \, dx}{35 a^2 b}\\ &=\frac {\left (A-\frac {a \left (b^2 B-a b C+a^2 D\right )}{b^3}\right ) x^3}{7 a \left (a+b x^2\right )^{7/2}}+\frac {\left (4 A b^3+a \left (3 b^2 B-10 a b C+17 a^2 D\right )\right ) x^3}{35 a^2 b^3 \left (a+b x^2\right )^{5/2}}+\frac {\int \frac {x^2 \left (8 A b+\frac {3 a \left (2 b^2 B+5 a b C-12 a^2 D\right )}{b^2}+\frac {35 a^2 D x^2}{b}\right )}{\left (a+b x^2\right )^{5/2}} \, dx}{35 a^2 b}\\ &=\frac {\left (A-\frac {a \left (b^2 B-a b C+a^2 D\right )}{b^3}\right ) x^3}{7 a \left (a+b x^2\right )^{7/2}}+\frac {\left (4 A b^3+a \left (3 b^2 B-10 a b C+17 a^2 D\right )\right ) x^3}{35 a^2 b^3 \left (a+b x^2\right )^{5/2}}+\frac {\left (8 A b^3+a \left (6 b^2 B+15 a b C-71 a^2 D\right )\right ) x^3}{105 a^3 b^3 \left (a+b x^2\right )^{3/2}}+\frac {D \int \frac {x^2}{\left (a+b x^2\right )^{3/2}} \, dx}{b^3}\\ &=\frac {\left (A-\frac {a \left (b^2 B-a b C+a^2 D\right )}{b^3}\right ) x^3}{7 a \left (a+b x^2\right )^{7/2}}+\frac {\left (4 A b^3+a \left (3 b^2 B-10 a b C+17 a^2 D\right )\right ) x^3}{35 a^2 b^3 \left (a+b x^2\right )^{5/2}}+\frac {\left (8 A b^3+a \left (6 b^2 B+15 a b C-71 a^2 D\right )\right ) x^3}{105 a^3 b^3 \left (a+b x^2\right )^{3/2}}-\frac {D x}{b^4 \sqrt {a+b x^2}}+\frac {D \int \frac {1}{\sqrt {a+b x^2}} \, dx}{b^4}\\ &=\frac {\left (A-\frac {a \left (b^2 B-a b C+a^2 D\right )}{b^3}\right ) x^3}{7 a \left (a+b x^2\right )^{7/2}}+\frac {\left (4 A b^3+a \left (3 b^2 B-10 a b C+17 a^2 D\right )\right ) x^3}{35 a^2 b^3 \left (a+b x^2\right )^{5/2}}+\frac {\left (8 A b^3+a \left (6 b^2 B+15 a b C-71 a^2 D\right )\right ) x^3}{105 a^3 b^3 \left (a+b x^2\right )^{3/2}}-\frac {D x}{b^4 \sqrt {a+b x^2}}+\frac {D \operatorname {Subst}\left (\int \frac {1}{1-b x^2} \, dx,x,\frac {x}{\sqrt {a+b x^2}}\right )}{b^4}\\ &=\frac {\left (A-\frac {a \left (b^2 B-a b C+a^2 D\right )}{b^3}\right ) x^3}{7 a \left (a+b x^2\right )^{7/2}}+\frac {\left (4 A b^3+a \left (3 b^2 B-10 a b C+17 a^2 D\right )\right ) x^3}{35 a^2 b^3 \left (a+b x^2\right )^{5/2}}+\frac {\left (8 A b^3+a \left (6 b^2 B+15 a b C-71 a^2 D\right )\right ) x^3}{105 a^3 b^3 \left (a+b x^2\right )^{3/2}}-\frac {D x}{b^4 \sqrt {a+b x^2}}+\frac {D \tanh ^{-1}\left (\frac {\sqrt {b} x}{\sqrt {a+b x^2}}\right )}{b^{9/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.46, size = 168, normalized size = 0.94 \begin {gather*} \frac {-105 a^6 D x-350 a^5 b D x^3-406 a^4 b^2 D x^5-176 a^3 b^3 D x^7+a^2 b^4 x^3 \left (35 A+21 B x^2+15 C x^4\right )+2 a b^5 x^5 \left (14 A+3 B x^2\right )+8 A b^6 x^7}{105 a^3 b^4 \left (a+b x^2\right )^{7/2}}+\frac {\sqrt {a} D \sqrt {\frac {b x^2}{a}+1} \sinh ^{-1}\left (\frac {\sqrt {b} x}{\sqrt {a}}\right )}{b^{9/2} \sqrt {a+b x^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.65, size = 158, normalized size = 0.88 \begin {gather*} \frac {-105 a^6 D x-350 a^5 b D x^3-406 a^4 b^2 D x^5-176 a^3 b^3 D x^7+35 a^2 A b^4 x^3+21 a^2 b^4 B x^5+15 a^2 b^4 C x^7+28 a A b^5 x^5+6 a b^5 B x^7+8 A b^6 x^7}{105 a^3 b^4 \left (a+b x^2\right )^{7/2}}-\frac {D \log \left (\sqrt {a+b x^2}-\sqrt {b} x\right )}{b^{9/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.43, size = 491, normalized size = 2.74 \begin {gather*} \left [\frac {105 \, {\left (D a^{3} b^{4} x^{8} + 4 \, D a^{4} b^{3} x^{6} + 6 \, D a^{5} b^{2} x^{4} + 4 \, D a^{6} b x^{2} + D a^{7}\right )} \sqrt {b} \log \left (-2 \, b x^{2} - 2 \, \sqrt {b x^{2} + a} \sqrt {b} x - a\right ) - 2 \, {\left (105 \, D a^{6} b x + {\left (176 \, D a^{3} b^{4} - 15 \, C a^{2} b^{5} - 6 \, B a b^{6} - 8 \, A b^{7}\right )} x^{7} + 7 \, {\left (58 \, D a^{4} b^{3} - 3 \, B a^{2} b^{5} - 4 \, A a b^{6}\right )} x^{5} + 35 \, {\left (10 \, D a^{5} b^{2} - A a^{2} b^{5}\right )} x^{3}\right )} \sqrt {b x^{2} + a}}{210 \, {\left (a^{3} b^{9} x^{8} + 4 \, a^{4} b^{8} x^{6} + 6 \, a^{5} b^{7} x^{4} + 4 \, a^{6} b^{6} x^{2} + a^{7} b^{5}\right )}}, -\frac {105 \, {\left (D a^{3} b^{4} x^{8} + 4 \, D a^{4} b^{3} x^{6} + 6 \, D a^{5} b^{2} x^{4} + 4 \, D a^{6} b x^{2} + D a^{7}\right )} \sqrt {-b} \arctan \left (\frac {\sqrt {-b} x}{\sqrt {b x^{2} + a}}\right ) + {\left (105 \, D a^{6} b x + {\left (176 \, D a^{3} b^{4} - 15 \, C a^{2} b^{5} - 6 \, B a b^{6} - 8 \, A b^{7}\right )} x^{7} + 7 \, {\left (58 \, D a^{4} b^{3} - 3 \, B a^{2} b^{5} - 4 \, A a b^{6}\right )} x^{5} + 35 \, {\left (10 \, D a^{5} b^{2} - A a^{2} b^{5}\right )} x^{3}\right )} \sqrt {b x^{2} + a}}{105 \, {\left (a^{3} b^{9} x^{8} + 4 \, a^{4} b^{8} x^{6} + 6 \, a^{5} b^{7} x^{4} + 4 \, a^{6} b^{6} x^{2} + a^{7} b^{5}\right )}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.55, size = 160, normalized size = 0.89 \begin {gather*} -\frac {{\left ({\left (x^{2} {\left (\frac {{\left (176 \, D a^{3} b^{6} - 15 \, C a^{2} b^{7} - 6 \, B a b^{8} - 8 \, A b^{9}\right )} x^{2}}{a^{3} b^{7}} + \frac {7 \, {\left (58 \, D a^{4} b^{5} - 3 \, B a^{2} b^{7} - 4 \, A a b^{8}\right )}}{a^{3} b^{7}}\right )} + \frac {35 \, {\left (10 \, D a^{5} b^{4} - A a^{2} b^{7}\right )}}{a^{3} b^{7}}\right )} x^{2} + \frac {105 \, D a^{3}}{b^{4}}\right )} x}{105 \, {\left (b x^{2} + a\right )}^{\frac {7}{2}}} - \frac {D \log \left ({\left | -\sqrt {b} x + \sqrt {b x^{2} + a} \right |}\right )}{b^{\frac {9}{2}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.01, size = 363, normalized size = 2.03 \begin {gather*} -\frac {D x^{7}}{7 \left (b \,x^{2}+a \right )^{\frac {7}{2}} b}-\frac {C \,x^{5}}{2 \left (b \,x^{2}+a \right )^{\frac {7}{2}} b}-\frac {D x^{5}}{5 \left (b \,x^{2}+a \right )^{\frac {5}{2}} b^{2}}-\frac {B \,x^{3}}{4 \left (b \,x^{2}+a \right )^{\frac {7}{2}} b}-\frac {5 C a \,x^{3}}{8 \left (b \,x^{2}+a \right )^{\frac {7}{2}} b^{2}}-\frac {A x}{7 \left (b \,x^{2}+a \right )^{\frac {7}{2}} b}-\frac {3 B a x}{28 \left (b \,x^{2}+a \right )^{\frac {7}{2}} b^{2}}-\frac {15 C \,a^{2} x}{56 \left (b \,x^{2}+a \right )^{\frac {7}{2}} b^{3}}-\frac {D x^{3}}{3 \left (b \,x^{2}+a \right )^{\frac {3}{2}} b^{3}}+\frac {A x}{35 \left (b \,x^{2}+a \right )^{\frac {5}{2}} a b}+\frac {3 B x}{140 \left (b \,x^{2}+a \right )^{\frac {5}{2}} b^{2}}+\frac {3 C a x}{56 \left (b \,x^{2}+a \right )^{\frac {5}{2}} b^{3}}+\frac {4 A x}{105 \left (b \,x^{2}+a \right )^{\frac {3}{2}} a^{2} b}+\frac {B x}{35 \left (b \,x^{2}+a \right )^{\frac {3}{2}} a \,b^{2}}+\frac {C x}{14 \left (b \,x^{2}+a \right )^{\frac {3}{2}} b^{3}}+\frac {8 A x}{105 \sqrt {b \,x^{2}+a}\, a^{3} b}+\frac {2 B x}{35 \sqrt {b \,x^{2}+a}\, a^{2} b^{2}}+\frac {C x}{7 \sqrt {b \,x^{2}+a}\, a \,b^{3}}-\frac {D x}{\sqrt {b \,x^{2}+a}\, b^{4}}+\frac {D \ln \left (\sqrt {b}\, x +\sqrt {b \,x^{2}+a}\right )}{b^{\frac {9}{2}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 1.66, size = 533, normalized size = 2.98 \begin {gather*} -\frac {1}{35} \, {\left (\frac {35 \, x^{6}}{{\left (b x^{2} + a\right )}^{\frac {7}{2}} b} + \frac {70 \, a x^{4}}{{\left (b x^{2} + a\right )}^{\frac {7}{2}} b^{2}} + \frac {56 \, a^{2} x^{2}}{{\left (b x^{2} + a\right )}^{\frac {7}{2}} b^{3}} + \frac {16 \, a^{3}}{{\left (b x^{2} + a\right )}^{\frac {7}{2}} b^{4}}\right )} D x - \frac {D x {\left (\frac {15 \, x^{4}}{{\left (b x^{2} + a\right )}^{\frac {5}{2}} b} + \frac {20 \, a x^{2}}{{\left (b x^{2} + a\right )}^{\frac {5}{2}} b^{2}} + \frac {8 \, a^{2}}{{\left (b x^{2} + a\right )}^{\frac {5}{2}} b^{3}}\right )}}{15 \, b} - \frac {C x^{5}}{2 \, {\left (b x^{2} + a\right )}^{\frac {7}{2}} b} - \frac {D x {\left (\frac {3 \, x^{2}}{{\left (b x^{2} + a\right )}^{\frac {3}{2}} b} + \frac {2 \, a}{{\left (b x^{2} + a\right )}^{\frac {3}{2}} b^{2}}\right )}}{3 \, b^{2}} - \frac {D a x^{3}}{{\left (b x^{2} + a\right )}^{\frac {5}{2}} b^{3}} - \frac {5 \, C a x^{3}}{8 \, {\left (b x^{2} + a\right )}^{\frac {7}{2}} b^{2}} - \frac {B x^{3}}{4 \, {\left (b x^{2} + a\right )}^{\frac {7}{2}} b} + \frac {139 \, D x}{105 \, \sqrt {b x^{2} + a} b^{4}} + \frac {17 \, D a x}{105 \, {\left (b x^{2} + a\right )}^{\frac {3}{2}} b^{4}} - \frac {29 \, D a^{2} x}{35 \, {\left (b x^{2} + a\right )}^{\frac {5}{2}} b^{4}} + \frac {C x}{14 \, {\left (b x^{2} + a\right )}^{\frac {3}{2}} b^{3}} + \frac {C x}{7 \, \sqrt {b x^{2} + a} a b^{3}} + \frac {3 \, C a x}{56 \, {\left (b x^{2} + a\right )}^{\frac {5}{2}} b^{3}} - \frac {15 \, C a^{2} x}{56 \, {\left (b x^{2} + a\right )}^{\frac {7}{2}} b^{3}} + \frac {3 \, B x}{140 \, {\left (b x^{2} + a\right )}^{\frac {5}{2}} b^{2}} + \frac {2 \, B x}{35 \, \sqrt {b x^{2} + a} a^{2} b^{2}} + \frac {B x}{35 \, {\left (b x^{2} + a\right )}^{\frac {3}{2}} a b^{2}} - \frac {3 \, B a x}{28 \, {\left (b x^{2} + a\right )}^{\frac {7}{2}} b^{2}} - \frac {A x}{7 \, {\left (b x^{2} + a\right )}^{\frac {7}{2}} b} + \frac {8 \, A x}{105 \, \sqrt {b x^{2} + a} a^{3} b} + \frac {4 \, A x}{105 \, {\left (b x^{2} + a\right )}^{\frac {3}{2}} a^{2} b} + \frac {A x}{35 \, {\left (b x^{2} + a\right )}^{\frac {5}{2}} a b} + \frac {D \operatorname {arsinh}\left (\frac {b x}{\sqrt {a b}}\right )}{b^{\frac {9}{2}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {x^2\,\left (A+B\,x^2+C\,x^4+x^6\,D\right )}{{\left (b\,x^2+a\right )}^{9/2}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________